Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
201	Babelsberg/JS A Browser-based Implementation of an Object Constraint Language Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke Yoshiki Ohshima, Bert Freudenberg, Robert Krahn Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:43 Programming paradigms Computing Constraint satisfaction Kaleidoscope Constraint logic programming Declarative programming E Logic programming Constraint Constraint programming Software engineering Computer programming
202	Modeling Web Service Composition using Symbolic Transition Systems Jyotishman Pathak and Samik Basu and Vasant Honavar Department of Computer Science Iowa State University Ames, IA, USA {jpathak, sbasu, honava Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-05-28 19:32:19 Entailment Constraint logic programming Logic Mathematics Function
203	Program Termination analysis using MAX-SMT∗ Daniel Larraz1 , Albert Oliveras1 , Enric Rodríguez-Carbonell1 , and Albert Rubio1 1 Universitat Politècnica de Catalunya, Barcelona, Spain Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Electronic design automation Logic in computer science Satisfiability Modulo Theories Theoretical computer science Applied mathematics Constraint programming
204	Microsoft Word - JSS_draft6.docx Add to Reading List Source URL: sccpu2.cse.ust.hk Language: English Computer programming Causality Determinism Philosophy of science Randomness Universal quantification Mathematical logic Software engineering Constraint programming Logic programming
205	Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications Jyotishman Pathak1,2 Samik Basu1 Robyn Lutz1,3 Vasant Honavar1,2 1 Department of Computer Science, Iowa State University, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-11-14 22:17:08 Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Function Constraint logic programming Logic Mathematics Deduction
206	Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-06-03 12:43:37 Logic in computer science Automated theorem proving Formal methods Constraint programming Reasoning Satisfiability Modulo Theories Proof assistant E theorem prover Isabelle Theoretical computer science Applied mathematics Mathematics
207	Artificial Intelligence Tutorial 7 - Answers 1. Suppose you have a variable, x, which can range over the numbers 1 to 20 and a variable, y, which can range over the numbers 5 to 20. a) Express this constraint on x formal Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 10:16:32 Function Mathematical fallacy Trigonometric functions Constraint satisfaction Constraint logic programming Constraint programming Mathematics Mathematical analysis
208	A Hybrid AI Approach to Staff Scheduling Graham Winstanley School of Computing & Mathematical Sciences University of Brighton [removed] Add to Reading List Source URL: www.it.bton.ac.uk Language: English - Date: 2002-08-09 08:16:48 Computer programming Nurse scheduling problem Constraint satisfaction Constraint logic programming Constraint ECLiPSe Mathematical optimization Constraint programming Declarative programming Software engineering
209	Structuring Documents Efficiently Robert Marshall, Steven Bird and Peter J. Stuckey∗ Department of Computer Science and Software Engineering University of Melbourne, Victoria 3010, Australia {robertgm,sb,pjs}@csse.unim Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:08:01 Critical thinking Rhetoric Interpretation Constraint logic programming Logic Constraint programming Linguistics Narratology
210	C o n s t r a i n t P r o g r a m m i n g Constraints and AI Planning Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 13:41:27 Computer programming Constraint satisfaction Constraint graph Local consistency Logic programming Constraint optimization Hierarchical task network Bart Selman Automated planning and scheduling Constraint programming Software engineering Theoretical computer science

UPDATE